Kong, Soonho: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2009 Sixth International Conference on Information Technology: New Generations - Las Vegas, NV, USA (2009.04.27-2009.04.29)] 2009 Sixth International Conference on Information Technology: New Generations - Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex

Kong, Soonho, Tillmann, Nikolai, Halleux, Jonathan de

Year:

2009

Language:

english

File:

PDF, 336 KB

english, 2009

2

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Satisfiability modulo ODEs

Sicun Gao,, Soonho Kong,, Clarke, Edmund M.

Year:

2013

Language:

english

File:

PDF, 615 KB

english, 2013

3

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Towards personalized prostate cancer therapy using delta-reachability analysis

Liu, Bing, Kong, Soonho, Gao, Sicun, Zuliani, Paolo, Clarke, Edmund M.

Year:

2015

Language:

english

File:

PDF, 442 KB

english, 2015

4

Automatically inferring loop invariants via algorithmic learning

JUNG, YUNGBUM, KONG, SOONHO, DAVID, CRISTINA, WANG, BOW-YAW, YI, KWANGKEUN

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 409 KB

english, 2015

5

A network-driven approach for genome-wide association mapping

Lee, Seunghak, Kong, Soonho, Xing, Eric P.

Journal:

Year:

2016

Language:

english

File:

PDF, 993 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски